int debug_core_color[] = {
    [0] = 33,
    [1] = 35,
    [2] = 36,
    [3] = 32,
    [4] = 33,
    [5] = 35,
    [6] = 36,
    [7] = 32,
    [8] = 33,
    [9] = 35,
    [10] = 36,
    [11] = 32,
    [12] = 33,
    [13] = 35,
    [14] = 36,
    [15] = 32,
    [16] = 33,
    [17] = 35,
    [18] = 36,
    [19] = 32,
};